// Note that UI.HideAuthorsInHotlist and UI.SimpleRead is implemented in 
// blocking.js for efficiency.
getOptions(["UI.HideHotlist2"], (function(options)
{

(location.pathname == "/" || location.pathname == "/index.php") && 
(function()
{
	if(options.HideHotlist2)
		document.getElementById("t_9999").style.display = "none";
})();

}));

